Preferential and Preferential-discriminative Consequence Relations
نویسندگان
چکیده
منابع مشابه
Preferential and Preferential-discriminative Consequence relations
The theory of preferential consequence relations, where copies of valuations (or states labeled by valuations) serve as the terms of the preference relation, has been investigated extensively in the classical context. The first purpose of the present paper is to extend the theory to certain three/four-valued contexts, well-known as the paraconsistent logics J3 and FOUR. We give characterization...
متن کاملPreferential and Preferential-discriminative Consequence
The present paper investigates consequence relations that are both paraconsistent and plausible (generally nonmonotonic too). More precisely, we lay the focus on preferential consequence relations, i.e. those relations that can be defined by a binary preference relation on states labelled by valuations (such as in Non-monotonic Reasoning). The first purpose of the paper is to provide characteri...
متن کاملNormal Modal Preferential Consequence
One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential semantics are studied. In spite of its success, KLM is limited to propositional logic. In recent work we provided the semantic foundation for extending defeasible consequence relations ...
متن کاملReactive Preferential Structures and Nonmonotonic Consequence
We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can ”break” the strong coherence properties of preferential structur...
متن کاملPivotal and Pivotal-discriminative Consequence Relations
In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequence relations, i.e. those relations that can be defined by a pivot (in the style of e.g. D. Makinson). A pivot is a fixed subset of valuations which are considered to be the important ones in the absolute sense. We worke...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2005
ISSN: 1465-363X,0955-792X
DOI: 10.1093/logcom/exi013